алгебраический - Definition. Was ist алгебраический
Diclib.com
Wörterbuch ChatGPT
Geben Sie ein Wort oder eine Phrase in einer beliebigen Sprache ein 👆
Sprache:

Übersetzung und Analyse von Wörtern durch künstliche Intelligenz ChatGPT

Auf dieser Seite erhalten Sie eine detaillierte Analyse eines Wortes oder einer Phrase mithilfe der besten heute verfügbaren Technologie der künstlichen Intelligenz:

  • wie das Wort verwendet wird
  • Häufigkeit der Nutzung
  • es wird häufiger in mündlicher oder schriftlicher Rede verwendet
  • Wortübersetzungsoptionen
  • Anwendungsbeispiele (mehrere Phrasen mit Übersetzung)
  • Etymologie

Was (wer) ist алгебраический - definition

Обобщенный алгебраический тип данных; GADT

алгебраический      
прил.
1) Соотносящийся по знач. с сущ.: алгебра (1), связанный с ним.
2) Основанный на методах алгебры (1).
алгебраический      
АЛГЕБРА'ИЧЕСКИЙ, алгебраическая, алгебраическое. прил. к алгебра
. Алгебраическая задача. Алгебраическое решение.
Обобщённый алгебраический тип данных         
Обобщённый алгебраический тип да́нных () — один из видов алгебраических типов данных, который характеризуется тем, что его конструкторы могут возвращать значения не своего типа, связанного с ним. Сконструированы под влиянием работ об индуктивных семействах в среде исследователей зависимых типов.

Wikipedia

Обобщённый алгебраический тип данных

Обобщённый алгебраический тип да́нных (англ. generalized algebraic data type, GADT) — один из видов алгебраических типов данных, который характеризуется тем, что его конструкторы могут возвращать значения не своего типа, связанного с ним. Сконструированы под влиянием работ об индуктивных семействах в среде исследователей зависимых типов.

Такие типы реализованы в нескольких языках программирования, в частности в языках OCaml (начиная с версии 4), Idris, Agda и Haskell, причём в последнем оно не входит в стандарт языка, а реализовано только в одном из расширений компилятора GHC. Язык Haskell имитирует индуктивное семейство (англ. inductive family), представляя их типами, индексированными другими типами.

Применяются в обобщённом программировании, моделировании абстрактного синтаксиса высшего порядка (англ. higher-order abstract syntax) языков программирования и моделировании объектов, сохранении инвариантов структур данных, выражении ограничений во встроенных предметно-ориентированных языках.

Beispiele aus Textkorpus für алгебраический
1. Розовский решил применить к Курочкину - точнее, к его сочинению "Истребитель класса "Медея" - свой алгебраический принцип.
2. Алгебраический взгляд на политику вообще соблазняет своей простотой - а вдвойне привлекательным он делается, если убедить себя, что нынешняя власть есть абсолютное зло.
Was ist алгебраический - Definition